[MINIOS] XenBus tests disabled in MiniOS. Xend bug induced
authorkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Wed, 5 Jul 2006 10:27:25 +0000 (11:27 +0100)
committerkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Wed, 5 Jul 2006 10:27:25 +0000 (11:27 +0100)
commitc5f5756de82e6b64d956a85d7b5a8e629b623083
treeb93d92fdaa966bbab9e584fbb32b86a9a8891835
parent933e1fc27486aaaed90d12f86b856c2c2f12222f
[MINIOS] XenBus tests disabled in MiniOS. Xend bug induced
by write to device/vif/0.
Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
extras/mini-os/kernel.c